/**
 * Probabilistic timed automata (PTA) model checking, including DBM library.
 */
package com.prism.e4.rcp.pta;